$\forall$$p$:FinProbSpace, $f$:($\mathbb{N}\rightarrow\mathbb{N}$), $X$:($n$:$\mathbb{N}\rightarrow$RandomVariable($p$;$f$($n$))).
\\[0ex]($X$($n$)$\rightarrow\infty$ as $n$$\rightarrow\infty$) $\in$ ($\mathbb{N}\rightarrow$Outcome)$\rightarrow\mathbb{P}$